Accelerated Data-Flow Analysis
نویسندگان
چکیده
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states. Even if no termination guarantee is provided in theory, successful results were obtained in practice by different tools implementing this framework. In this paper, the acceleration framework is extended to data-flow analysis. Compared to a classical widening/narrowing-based abstract interpretation, the loss of precision is controlled here by the choice of the abstract domain and does not depend on the way the abstract value is computed. Our approach is geared towards precision, but we don’t loose efficiency on the way. Indeed, we provide a cubic-time acceleration-based algorithm for solving interval constraints with full multiplication.
منابع مشابه
Model study reservoir flushing
Sediment flushing of reservoirs is an operational technique, whereby previously accumulated sediments in the reservoirs are hydraulically removed by accelerated flow when the bottom desiltingoutlets of the dam are opened. In this research, the process of sediment flushing is simulated by a three dimensional numerical model in which sediment and flow interaction are reflected in the reservoirs. ...
متن کاملMHD rotating heat and mass transfer free convective flow past an exponentially accelerated isothermal plate with fluctuating mass diffusion
In this paper, we have considered the problem of rotating, magnetohydrodynamic heat and mass transfer by free convective flow past an exponentially accelerated isothermal vertical plate in the presence of variable mass diffusion. While the temperature of the plate is constant, the concentration at the plate is considered to be a linear function with respect to time t. The plate is assumed to be...
متن کاملDesign and Analysis of Step Stress Accelerated Life Tests for Censored Data}
Life testing often is consuming a very long time for testing. Therefore, the engineers and statisticians are looking for some approaches to reduce the running time. There is a recommended method for reducing the time of failure, such that the stress level of the test units will increase, and then they will fail earlier than normal operating conditions. These approaches are called accelerated li...
متن کاملFailure Process Modeling with Censored Data in Accelerated Life Tests
Manufacturers need to evaluate the reliability of their products in order to increase the customer satisfaction. Proper analysis of reliability also requires an effective study of the failure process of a product, especially its failure time. So, the Failure Process Modeling (FPM) plays a key role in the reliability analysis of the system that has been less focused on. This paper introduces a f...
متن کاملمروری بر فرایندهای کهولت و روش‌های تخمین طول عمر مواد منفجره پلاستیکی(علمی-ترویجی)
In this study, the aging and deterioration mechanisms in the plastic bonded explosives (PBXs) and their components as well as standard methods for their evaluating are presented. Also, the techniques developed for the prediction of chemical lifetime and service life of PBXs will be reviewed and analyzed. These methods cite the lifetime prediction methods based on weight/energy loss by thermal a...
متن کاملG-NetMon: A GPU-accelerated Network Performance Monitoring System for Large Scale Scientifc Collaborations
At Fermilab, we have prototyped a GPU-accelerated network performance monitoring system, called G-NetMon, to support large-scale scientific collaborations. Our system exploits the data parallelism that exists within network flow data to provide fast analysis of bulk data movement between Fermilab and collaboration sites. Experiments demonstrate that our GNetMon can rapidly detect sub-optimal bu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007